locally convex direct sum - Spanisch Englisch Wörterbuch